Search results for "Object Constraint Language"

showing 7 items of 7 documents

LCL - A Graphical Meta-Language for Specification of Language Constraints

2015

The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.

Computer scienceProgramming languagebusiness.industryObject languageSpecification languagecomputer.software_genreUniversal Networking LanguageHigh-level programming languageProgramming language specificationData control languageArtificial intelligenceFirst-generation programming languagebusinesscomputerNatural language processingObject Constraint Languagecomputer.programming_languageProceedings of the 3rd International Conference on Model-Driven Engineering and Software Development
researchProduct

Constraint Management in Engineering of Complex Information Systems

2009

We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage  constraints. Our proposal is based on a definition of constraints as 3D spaces with  dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.

Constraint (information theory)Management information systemsUnified Modeling LanguageComputer scienceProgramming languageTheory of constraintsInformation systemcomputer.software_genrecomputerFormal verificationObject Constraint Languagecomputer.programming_languageMetamodeling2009 14th IEEE International Conference on Engineering of Complex Computer Systems
researchProduct

UML/OCL-based modeling of work-based access control policies for collaborative healthcare systems

2016

A work-based access control (WBAC) model is proposed by introducing the team role concept and modifying the user-role assignment model from a previous work. The main goals of WBAC are flexibility, easy manageability, security, as well as suitability to support cooperative work of dynamic teams in healthcare environments. One of the major challenges of WBAC regards authorization constraints in terms of organizational policies. In this article, we show how Unified Modeling Language (UML) and Object Constraints Language (OCL) are utilized to design and analyze the authorization constraints of WBAC in cooperative engagements with complex scenarios in the collaborative healthcare domain. We also…

Flexibility (engineering)021110 strategic defence & security studies021103 operations researchKnowledge managementComputer sciencebusiness.industry0211 other engineering and technologiesAccess control02 engineering and technologyObject (computer science)Domain (software engineering)Work (electrical)Unified Modeling LanguagebusinessSoftware engineeringcomputerObject Constraint Languagecomputer.programming_languageEclipse2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom)
researchProduct

From UML Specification into FPGA Implementation

2014

In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine di- agrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Ar- rays). The UML specification is used to generate an eective program in Hardware Description Languages (HDLs), especially Verilog.

UML toolFinite-state machineComputer scienceProgramming languageHardware description languageApplications of UMLlogic controllerscomputer.software_genreverilog.umlfpgaTK1-9971UML state machinefsmUnified Modeling LanguageVerilogElectrical engineering. Electronics. Nuclear engineeringElectrical and Electronic EngineeringcomputerObject Constraint Languagecomputer.programming_languageAdvances in Electrical and Electronic Engineering
researchProduct

From UML State Machine Diagram into FPGA Implementation

2013

Abstract In the paper a method of using the Unified Modeling Language diagrams for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays). The UML specification is used to generate an effective program in Hardware Description Languages (HDLs), especially Verilog.

UML toolFinite-state machineProgramming languageComputer scienceHardware description languageCommunication diagramApplications of UMLGeneral Medicinecomputer.software_genreUML state machineComputer Science::Hardware ArchitectureUnified Modeling LanguageSystems Modeling LanguageComputer Science::Programming LanguagesVerilogShlaer–Mellor methodClass diagramcomputercomputer.programming_languageObject Constraint LanguageIFAC Proceedings Volumes
researchProduct

Transformations Between UML Diagrams

2003

The Unified Modeling Language (UML) provides various diagram types for describing a system from different perspectives or abstraction levels. Hence, UML diagrams describing the same system are dependent and strongly overlapping. In this paper we study how this can be exploited for specifying transformation operations between different diagram types. We discuss various general approaches and viewpoints of model transformations in UML. The source and target diagram types for useful transformations are analyzed and given categories. The potentially most interesting transformation operations are discussed in detail. It is concluded that the transformation operations can automate a substantial p…

UML toolTheoretical computer scienceComputer scienceCommunication diagramApplications of UMLcomputer.software_genreUML state machineHardware and ArchitectureSystems Modeling LanguageClass diagramPackage diagramcomputerSoftwareInformation SystemsObject Constraint Languagecomputer.programming_languageJournal of Database Management
researchProduct

Unified Modeling Language

2005

Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson, & Booch, 1998). Their effort led to the Unified Modeling Language (UML), a well-known, general-purpose, tool-supported, process-independent, and industry-standardized modeling lang…

Unified Modeling LanguageComputer scienceProgramming languageModeling languageSystems Modeling LanguageCommunication diagramModeling perspectiveClass diagramcomputer.software_genrecomputerObject Constraint Languagecomputer.programming_languageUnified Process
researchProduct